Component-Based Interactive Framework for Intelligent Transportation Cyber-Physical Systems

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Transportation Cyber-Physical Systems: Reliability Modeling and Analysis Framework

AbstractRecently, computation, communication and control are deeply and pervasively embedded into physical and engineered components of transportation Cyber-Physical Systems (CPS). In such systems, the growing complexity of system structure calls for increasing system reliability. Reliability modeling and analysis need not only capture the complex dynamic of transportation systems, but also mus...

متن کامل

Formal Specification for Transportation Cyber Physical Systems

Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...

متن کامل

Formal Verification of Transportation Cyber Physical Systems

ion is the process of simplifying a simulation model to a more abstract (for example, reduced order) model for use in verification and other analysis. Performing automated model abstraction of large high-dimensional hybrid systems, and characterizing and quantifying the approximation and/or the abstraction function used to create the simpler model are challenging technical tasks. The abstract f...

متن کامل

Simulation Framework for Intelligent Transportation Systems *

A simulation framework has been developed for a large-scale, comprehensive, scaleable simulation of an Intelligent Transportation System (ITS). The simulator is designed for running on parallel computers and distributed (networked) computer systems, but can run on standalone workstations for smaller simulations. The simulator currently models instrumented "smart" vehicles with in-vehicle naviga...

متن کامل

A Distributed Framework for Intelligent Transportation Systems

ABSTRACT Integrating individual intelligent transportation systems into comprehensive platforms is a key challenge faced by transport authorities in the provision of optimal services to users. The use of an ITS architecture encourages structured development and integration of ITS systems that leads to maximization of benefits by minimizing redundancies and maximizing capabilities. This paper pr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Sensors

سال: 2020

ISSN: 1424-8220

DOI: 10.3390/s20010264